Fizikos terminų žodynas : lietuvių, anglų, prancūzų, vokiečių ir rusų kalbomis. – Vilnius : Mokslo ir enciklopedijų leidybos institutas. Vilius Palenskis, Vytautas Valiukėnas, Valerijonas Žalkauskas, Pranas Juozas Žilinskas. 2007.
Многосортная алгебра — Под многосортной алгеброй понимают некоторое множество объектов с определёнными на нём операциями (функциями). Объекты могут быть разнотипными, тогда каждому объекту приписывают так называемый сорт некоторое имя (или символ), характеризующий тип… … Википедия
ПРЕДМЕТ — всякий объект, выступающий как ограниченный или завершенный; то, чему могут принадлежать свойства и что может состоять в определенных отношениях с др. объектами. П. в логике все, что может стать объектом рассуждения и что в формализованном языке… … Философская энциклопедия
Termwert — termo vertė statusas T sritis fizika atitikmenys: angl. term value vok. Termwert, m rus. значение терма, n pranc. valeur du terme, f … Fizikos terminų žodynas
term value — termo vertė statusas T sritis fizika atitikmenys: angl. term value vok. Termwert, m rus. значение терма, n pranc. valeur du terme, f … Fizikos terminų žodynas
termo vertė — statusas T sritis fizika atitikmenys: angl. term value vok. Termwert, m rus. значение терма, n pranc. valeur du terme, f … Fizikos terminų žodynas
valeur du terme — termo vertė statusas T sritis fizika atitikmenys: angl. term value vok. Termwert, m rus. значение терма, n pranc. valeur du terme, f … Fizikos terminų žodynas
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
Узбекская музыка — Узб. муз. культура зародилась в глубокой древности. Об этом свидетельствуют памятники материальной культуры, обнаруженные на территории Узбекистана. У. м. тесно связана с муз. культурой всей Ср. Азии, но в то же время она глубоко… … Музыкальная энциклопедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
1: — Терминология 1: : dw Номер дня недели. «1» соответствует понедельнику Определения термина из разных документов: dw DUT Разность между московским и всемирным координированным временем, выраженная целым количеством часов Определения термина из… … Словарь-справочник терминов нормативно-технической документации
